<html>
<head><meta charset="utf-8"><title>impl ops::Try for Ordering (PR #76041) · t-libs · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/index.html">t-libs</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html">impl ops::Try for Ordering (PR #76041)</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="209145750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209145750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209145750">(Sep 04 2020 at 22:13)</a>:</h4>
<p>Hi libs folks!  I have <a href="https://github.com/rust-lang/rust/pull/76041">https://github.com/rust-lang/rust/pull/76041</a> assigned to me, which I conceptually like (though that maybe be controversial) but think is probably best postponed given the state of <code>Try</code>.</p>
<p>What's the best way to put it on your radar for a straw poll or something?</p>



<a name="209147384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209147384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209147384">(Sep 04 2020 at 22:42)</a>:</h4>
<p>i don't think the libs team currently has a "process" for such things other than discussing it in a thread here, so this is a good start</p>



<a name="209169700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209169700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209169700">(Sep 05 2020 at 09:25)</a>:</h4>
<p>(deleted)</p>



<a name="209169701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209169701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209169701">(Sep 05 2020 at 09:25)</a>:</h4>
<p>(deleted)</p>



<a name="209169791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209169791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209169791">(Sep 05 2020 at 09:27)</a>:</h4>
<p>(deleted)</p>



<a name="209169859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209169859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209169859">(Sep 05 2020 at 09:28)</a>:</h4>
<p>(deleted)</p>



<a name="209169868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209169868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209169868">(Sep 05 2020 at 09:29)</a>:</h4>
<p>(deleted)</p>



<a name="209170038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209170038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209170038">(Sep 05 2020 at 09:33)</a>:</h4>
<p>(deleted)</p>



<a name="209170241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209170241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209170241">(Sep 05 2020 at 09:39)</a>:</h4>
<p>don't mind me, just reconsidering my thoughts</p>



<a name="209171968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/219381-t-libs/topic/impl%20ops%3A%3ATry%20for%20Ordering%20%28PR%20%2376041%29/near/209171968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/219381-t-libs/topic/impl.20ops.3A.3ATry.20for.20Ordering.20(PR.20.2376041).html#209171968">(Sep 05 2020 at 10:32)</a>:</h4>
<p>To elaborate a bit on my post: I think the proposed semantic is the right one (if we do impl it) because of the analogy to <code>Ordering::then</code> (which the PR author mentioned) and also because if you imagine <code>Ord</code> for an empty struct, it'd be <code>cmp(&amp;self, &amp;other) -&gt; Ordering { try {} }</code>, so <code>Ordering::Equal</code> needs to map to <code>ControlFlow::Continue</code>.  (Which I guess is just saying that <code>Equal</code> is the identity element of the monoid, so is in a way the <code>then</code> point again.)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>